Preliminary Proceedings of the 8 th International Workshop on Expressiveness in Concurrency EXPRESS ’ 01 Aalborg , Denmark , August 20 , 2001
نویسندگان
چکیده
We show how the tree-automata techniques proposed by Lugiez and Schnoebelen apply to the reachability analysis of RPPS systems. Using these techniques requires that we express the states of RPPS systems in a tailor-made process rewrite system where reachability is a relation recognizable by nite tree-automata.
منابع مشابه
Preliminary Proceedings 13 th International Workshop on Expressiveness in Concurrency EXPRESS ’ 06 Bonn , Germany 26 August 2006 Editors : Roberto Amadio
We give an overview over recent work on fairness in reactive and concurrent systems, including an abstract characterisation of fairness. We also derive a notion of a fairly correct system and sketch its application.
متن کاملPreliminary Proceedings of the 2 nd International Workshop on Models for Time - Critical Systems MTCS ’ 01 Aalborg , Denmark , August 25 , 2001
In this paper we propose an extension to the formalism of timed automata by allowing urgent transitions. A urgent transition is a transition which must be taken within a xed time interval from its enabling time. We give a set of rules formally describing the behaviour of urgent transitions and we show that, from a language theoretic point of view, the addition of urgency does not improve the ex...
متن کاملOn the Expressiveness of Intensional Communication
Thomas Given-Wilson. On the Expressiveness of Intensional Communication. Johannes Borgström and Silvia Crafa. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. Open Publishing Association, 160, pp.30-46, 2014, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.160.4>. <hal-01026...
متن کاملDilemma in two game structures for a closed-loop supply chain under the influence of government incentives
The government organizations grant incentives to promote green product consumption, improve green product quality, boost remanufacturing activities, etc. through various policies. The objective of this study is to highlight pros and cons of two incentive policies, namely (1) incentive on manufacturer’s R&D investment and (2) direct incentive to consumer based on greening level of the product on...
متن کاملOptimal Decision Making Framework of an Electric Vehicle Aggregator in Future and Pool markets
Electric vehicle (EV) aggregator, as an agent between the electricity market and EV owners, participates in the future and pool market to supply EVs’ requirement. Because of the uncertain nature of pool prices and EVs’ behaviour, this paper proposed a two-stage scenario-based model to obtain optimal decision making of an EV aggregator. To deal with mentioned uncertainties, the aggregator’s risk...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001